منابع مشابه
Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Over the last three decades the program transformation methodology has been proved to be a powerful technique for deriving programs from specifications, verifying program properties, specializing programs w.r.t. their context of use, and deriving more efficient program versions from less efficient ones. The transformation methodology has been first proposed in the area of functional programming...
متن کاملStructured Program Generation Techniques
So, you can write a program that generates other programs. Sorry, . . . not impressed. You want to impress me? Make sure your program-generating program only produces well-formed programs. What is “well-formed”, you ask? Well, let’s start with “it parses”. Then let’s get to “. . . and type-checks”. You want to really impress me? Give me an expressive language for program generators in which any...
متن کاملD 1 . 2 . 2 . 2 . 1 : Case - based recommendation of matching tools and techniques
Choosing a matching tool adapted to a particular application can be very difficult. This document analyses the choice criteria from the application viewpoint and their fulfilment by the candidate matching systems. Different methods (paper analysis, questionnaire, empirical evaluation and decision making techniques) are used for assessing them. We evaluate how these criteria can be combined and ...
متن کاملStrangeness Production at 1 – 2 a Gev
The production of K + and K − mesons below and at the NN threshold is summarized, based on a comparison of data with transport model calculations. K + mesons are created in associate production together with hyperons (e.g. Λ) in multi-step processes involving ∆ resonances. These processes occur mainly during the high-density phase of the collision and this makes the K + an ideal tool to extract...
متن کاملProperties of Program Analysis Techniques
A number of diierent semantics-based program analysis techniques, such as abstract interpretation, projection-based analyses and type inference, have been developed by various people. How can they be compared? In answering this question, we have found it particularly fruitful to focus on the properties that an analysis can manipulate, and how these properties can be combined. We demonstrate the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of the Institute of Television Engineers of Japan
سال: 1976
ISSN: 1884-9644
DOI: 10.3169/itej1954.30.527